简体版 English
تسجيل الدخول إنشاء حساب جديد

دوال حسابية بالانجليزي

يبدو
"دوال حسابية" أمثلة على
الترجمة إلى الإنجليزيةجوال إصدار
  • arithmetic functions
أمثلة
  • Church proved that there is no computable function which decides for two given λ-calculus expressions whether they are equivalent or not.
    أثبت تشرتش أنه لا توجد دوال حسابية تقرر ما إذا كان تعبيرين λ حسابيين معينين متعادلين أم لا.